| Name | Version | Summary | date |
|---|---|---|---|
| python-constraint2 | 2.0.0 | python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. | 2025-01-29 14:37:12 |
| satcfdi | 4.6.2 | The best open-source python library to generate and process SAT's CFDI | 2025-01-09 03:29:27 |
| qiskit-sat-synthesis | 0.0.2 | Sat-based synthesis plugins for Qiskit | 2024-12-24 07:05:06 |
| z3-solver | 4.13.3.0 | an efficient SMT solver library | 2024-10-10 23:42:06 |
| satdigitalinvoice | 4.1.0 | GUI APP to Generate CFDI | 2024-10-08 03:31:59 |
| pyfiscal | 2.1.2 | Pyfiscal calculation of tax data. | 2024-03-25 16:49:07 |
| hour | day | week | total |
|---|---|---|---|
| 65 | 1523 | 7591 | 283528 |